1. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
2. CONCUR'91 :
پدیدآورنده : J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
3. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy, Lincoln Wallen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
4. Computing in Horn Clause theories
پدیدآورنده : Padawitz, Peter, 3591-
کتابخانه: (طهران)
موضوع : ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P327
1988
5. Computing in Horn clause theories
پدیدآورنده : Padawitz, Peter
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P32
1988
6. Graph-Based Proof Procedures for Horn Clauses
پدیدآورنده : \ Stan Raatz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming,Horn clauses,برنامه‌نویسی منطقی
رده :
E-Book
,
7. Logic-based methods for optimization :
پدیدآورنده : John Hooker.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Linear programming.,Logic, Symbolic and mathematical.,Mathematical optimization.
رده :
T57
.
74
J646
2000
8. Logic-based program synthesis and transformation :
پدیدآورنده : Fred Mesnard, Peter J. Stuckey (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
رده :
QA76
.
63
9. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
10. Programming in Prolog
پدیدآورنده : by William F. Clocksin, Christopher S. Mellish.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
QA76
.
73
.
P76
B995
1994
11. Programming with higher-order logic /
پدیدآورنده : Dale Miller, Gopalan Nadathur.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Prolog (Computer program language)
رده :
QA76
.
63
.
M554
2012
12. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
